Paul Leon Hartman

Leon Festinger: Lunch With Leon.

The Hartman-Grobman Theorem

The Hartman–Grobman Theorem (see [3, page 353]) was proved by Philip Hartman in 1960 [5]. It had been announced byGrobman in 1959 [1], likely unbeknownst to Hartman, and Grobmanpublished his proof in 1962 [2], likely without knowing of Hartman’s work. (Grobman attributes the question to Nemycki and an earlier partial result to R.M. Minc (citing Nauč. Dokl. Vysš. Školy. Fiz.-Mat. Nauki 1 (1958))...

On Hartman Almost Periodic Functions

In this note we consider multi-dimensional Hartman almost periodic functions and sequences, defined with respect to different averaging sequences of subsets in R or Z. We consider the behavior of their Fourier-Bohr coefficients and their spectrum, depending on the particular averaging sequence, and we demonstrate this dependence by several examples. Extensions to compactly generated, locally co...

Leon Lagnado

others allowed first view of uncharted lands, and supported great leaps ahead. The Oracle at Delphi once professed, “Make your own nature, not the advice of others, your guide in life”. Bill’s scientific life followed his nature, from dusty entomology libraries to steaming jungles. This book traces not just Bill’s scientific ideas, but also his academic struggles to get his papers published, es...

’ S Introduction Leon Sterling

The area of logic programming has made great strides in the 15 years since its emergence. There are journals, conferences, textbooks, courses at universities, and no doubt that logic programming is a viable academic discipline. The impact of logic programming on the worlds of industry and business is less clear. Are applications being written using current logic programming tools, for example? ...